This article is about a very important metaphysical concept, macrocosm/microcosm and its appearance in Doric thought which in turn influenced Socrates and Plato. But since this concept has been gainsaid and negated in recent articles and distorted by some ancient thinkers it will be necessary to conduct reconstructive surgery to restore it to its pristine condition. Hopefully, this paper will illustrate how metaphysics is done with the use of the Mind's eye, in the reading of reality that was part and (...) parcel of the Greek mind but also in understanding the ancient Greeks themselves and their culture especially in the creation of the classical republican form of government. This account will discuss what macrocosm/microcosm is, its part in the Cosmos and hence its centrality in the Natural Law and in philosophy (wisdom). Second, it will prove the concept thru another natural law principle, righteousness. Third, point out it's provenance in Doric thought. In a corollary, it points to what the impact macrocosm/microcosm has on the true meaning "to be a lover of wisdom" and its importance in the concept of theosis. More than a research/academic article, this paper is also an exposition in which it will attempt to demonstrate the use and the mechanics of this principle by using a saying of Homer and the tripartite paradigm of the family. (shrink)

Eleonore Stump insightfully develops Aquinas’s theodicy to account for a significant source of human suffering, namely the undermining of desires of the heart. Stump argues that what justifies God in allowing such suffering are benefits made available to the sufferer through her suffering that can defeat the suffering by contributing to the fulfillment of her heart’s desires. We summarize Stump’s arguments for why such suffering requires defeat and how it is defeated. We identify three problems with Stump’s account of how (...) such suffering is defeated and offer solutions to each. We defend and strengthen Stump’s response to the hardest cases for her view, and explain what her view demands of God. (shrink)

The theory of lower previsions is designed around the principles of coherence and sure-loss avoidance, thus steers clear of all the updating anomalies highlighted in Gong and Meng's "Judicious Judgment Meets Unsettling Updating: Dilation, Sure Loss, and Simpson's Paradox" except dilation. In fact, the traditional problem with the theory of imprecise probability is that coherent inference is too complicated rather than unsettling. Progress has been made simplifying coherent inference by demoting sets of probabilities from fundamental building blocks to secondary representations (...) that are derived or discarded as needed. (shrink)

Este artigo procura analisar algumas das principais ideias abordadas no encontro anual promovido pela “American Association for the Advancement of Sciencie” em Boston (EUA) em 1953. Parte do encontro foi para abordar sobre o estado atual da concepção operacional de significado desenvolvida por Percy W. Bridgman a partir de 1927. As principais ideias tratadas no encontro foram posteriormente publicadas pela revista “The Scientific Montly” em 1954-1955 e republicadas no capítulo 2 do livro “The validation of scientific theories” (1961), editado por (...) Philipp Frank. A obra de 1961 será utilizada aqui como referência para as citações. Os autores dos capítulos são Henry Margenau, Gustav Bergmann, Carl G. Hempel, R. B. Lindsay, Raymond J. Sieger, Adolf Gründbaun, além do artigo do próprio Percy Bridgman. Este debate surgiu a mais de 20 anos depois da publicação da primeira obra de Bridgman, a saber, “The Logic of Modern Physics” (1927), onde ele apresenta pela primeira vez sua concepção de significado dos conceitos científicos baseada em procedimentos operacionais. A obra de 1927 trouxe os debates sobre a importância da linguagem científica e da correspondência empírica, uma questão pertinente na filosofia da ciência da época inflacionada pela filosofia da ciência do empirismo lógico. Os debates do encontro tiveram como objetivo apresentar questionamentos e fazer exposições gerais sobre a forma como a concepção operacional pode ser interpretada por cientistas e filósofos da época, seja em seus elementos favoráveis na ciência, enquanto resolvendo questões pertinentes para cientistas e filósofos da ciência, seja por mostrar também as limitações da concepção operacional através dos questionamentos dirigidos a ela. Ressaltamos a importância deste debate na época e nos dias atuais. Temos aqui um material que pode servir de direcionamento histórico e de debate filosófico para algumas das questões pertinentes dos filósofos da ciência da época. (shrink)

In this paper I articulate a view of doxastic control that helps defend the legitimacy of our practice of blaming people for their beliefs. I distinguish between three types of doxastic control: intention-based, reason-based, and influence-based. First I argue that, although we lack direct intention-based control over our beliefs, such control is not necessary for legitimate doxastic blame. Second, I suggest that we distinguish two types of reason-responsiveness: sensitivity to reasons and appreciation of reasons. I argue that while both capacities (...) are necessary for satisfying the control condition, neither is sufficient. Finally, I defend an influence-based view of doxastic control according to which we have the capacity to execute intentions to engage in reflection that causally influences our beliefs in positive epistemic ways. This capacity is both necessary and sufficient for satisfying the control condition for legitimate doxastic blame. I end by defending the view from two objections: that reflection is not necessary for meeting the control condition, and that it is not sufficient. (shrink)

This paper seeks to answer the question: Can contemporary forms of artificial intelligence be creative? To answer this question, I consider three conditions that are commonly taken to be necessary for creativity. These are novelty, value, and agency. I argue that while contemporary AI models may have a claim to novelty and value, they cannot satisfy the kind of agency condition required for creativity. From this discussion, a new condition for creativity emerges. Creativity requires curiosity, a motivation to pursue epistemic (...) goods. I argue that contemporary AI models do not satisfy this new condition. Because they lack both agency and curiosity, it is a mistake to attribute the same sort of creativity to AI that we prize in humans. Finally, I consider the question of whether these AI models stand to make human creativity in the arts and sciences obsolete, despite not being creative themselves. I argue, optimistically, that this is unlikely. (shrink)

In this paper, I solve a puzzle generated by three conflicting claims about the relationship between faith, belief, and control: according to the Identity Thesis, faith is a type of belief, and according to Fideistic Voluntarism, we sometimes have control over whether or not we have faith, but according to Doxastic Involuntarism, we never have control over what we believe. To solve the puzzle, I argue that the Identity Thesis is true, but that either Fideistic Voluntarism or Doxastic Voluntarism is (...) false, depending on how we understand "control." I distinguish two notions of control: direct intention-based control and indirect reflective control. I argue that though we have direct intention-based control over neither belief nor faith, we have indirect reflective control over each of them. Moreover, indirect reflective control helps explain how we can be held accountable for each. (shrink)

Technological developments have resulted in tremendous increases in the volume and diversity of the data and information that must be processed in the course of biomedical and clinical research and practice. Researchers are at the same time under ever greater pressure to share data and to take steps to ensure that data resources are interoperable. The use of ontologies to annotate data has proven successful in supporting these goals and in providing new possibilities for the automated processing of data and (...) information. In this chapter, we describe different types of vocabulary resources and emphasize those features of formal ontologies that make them most useful for computational applications. We describe current uses of ontologies and discuss future goals for ontology-based computing, focusing on its use in the field of infectious diseases. We review the largest and most widely used vocabulary resources relevant to the study of infectious diseases and conclude with a description of the Infectious Disease Ontology (IDO) suite of interoperable ontology modules that together cover the entire infectious disease domain. (shrink)

In this chapter, we explore whether agents have an epistemic duty to eradicate implicit bias. Recent research shows that implicit biases are widespread and they have a wide variety of epistemic effects on our doxastic attitudes. First, we offer some examples and features of implicit biases. Second, we clarify what it means to have an epistemic duty, and discuss the kind of epistemic duties we might have regarding implicit bias. Third, we argue that we have an epistemic duty to eradicate (...) implicit biases that have negative epistemic impact. Finally, we defend this view against the objection that we lack the relevant control over implicit bias that’s required for such a duty. We argue that we have a kind of reflective control over the implicit biases that we are duty-bound to eradicate. And since, as we show, we have this control over a wide variety of implicit biases, there are a lot of implicit biases that we have epistemic duties to eradicate. (shrink)

Coherentism maintains that coherent beliefs are more likely to be true than incoherent beliefs, and that coherent evidence provides more confirmation of a hypothesis when the evidence is made coherent by the explanation provided by that hypothesis. Although probabilistic models of credence ought to be well-suited to justifying such claims, negative results from Bayesian epistemology have suggested otherwise. In this essay we argue that the connection between coherence and confirmation should be understood as a relation mediated by the causal relationships (...) among the evidence and a hypothesis, and we offer a framework for doing so by fitting together probabilistic models of coherence, confirmation, and causation. We show that the causal structure among the evidence and hypothesis is sometimes enough to determine whether the coherence of the evidence boosts confirmation of the hypothesis, makes no difference to it, or even reduces it. We also show that, ceteris paribus, it is not the coherence of the evidence that boosts confirmation, but rather the ratio of the coherence of the evidence to the coherence of the evidence conditional on a hypothesis. (shrink)

In the Transcendental Aesthetic (TA), Kant is typically held to make negative assertations about “things in themselves,” namely that they are not spatial or temporal. These negative assertions stand behind the “neglected alternative” problem for Kant’s transcendental idealism. According to this problem, Kant may be entitled to assert that spatio-temporality is a subjective element of our cognition, but he cannot rule out that it may also be a feature of the objective world. In this paper, I show in a new (...) way how Kant’s view (focusing on his conclusions about space) is not subject to this objection, by showing that he does not make the denial about mind-independent reality that he is typically held to make. The argument develops consequences of a new reading of Kant’s expression “an sich selbst” (‘in itself’; ‘in themselves’). I argue that “an sich selbst” or “per se” has a special, judgment-level role, so that this expression does not form new noun-terms adjectivally. It follows that the conceptual unit of Kant’s “Conclusions” in the TA is simply “things” (Dinge), since “things in themselves” is not a nominal expression; Kant adopts the Wolffian ontological use of “thing” as the basic kind-term for any existent. The arguments that things per se are not in space are arguments that space cannot be a necessary property or relations of things as a kind. I show that this does not involve the positive claim about mind-independent reality that inspires the neglected alternative objection. (shrink)

While the idea of philosophy as conceptual analysis has attracted many adherents and undergone a number of variations, in general it suffers from an authority problem with two dimensions. First, it is unclear why the analysis of a concept should have objective authority: why explicating what we mean should express how things are. Second, conceptual analysis seems to lack intersubjective authority: why philosophical analysis should apply to more than a parochial group of individuals. I argue that Hegel’s conception of social (...) ontology, focused on his concept of “ethical life” (Sittlichkeit), helps to explain how concepts (and their explication) have both objective and intersubjective authority in the social domain. Hegel claims that modern institutions are the product of self-conscious purposes, so that they are conceptually constituted. Concepts do not just represent these objects and so depend on a contingent relation to them. As many contemporary social ontologists agree, this means that our concepts of these institutions are uniquely epistemically “transparent.” They have objective authority. Concepts have intersubjective authority in the modern world as well, according to Hegel. However, I show that this feature of Hegel’s account does not rely on the solution to a philosophical problem. Rather, since the concepts of modern ethical life are “essentially contested,” their content depends on the practical and political agreement of modern subjects. This means that concepts can only have objective authority if some prior intersubjective agreement has been reached. The role of philosophy as conceptual analysis is thus importantly dependent on political developments. (shrink)

Jim Joyce argues for two amendments to probabilism. The first is the doctrine that credences are rational, or not, in virtue of their accuracy or “closeness to the truth” (1998). The second is a shift from a numerically precise model of belief to an imprecise model represented by a set of probability functions (2010). We argue that both amendments cannot be satisfied simultaneously. To do so, we employ a (slightly-generalized) impossibility theorem of Seidenfeld, Schervish, and Kadane (2012), who show that (...) there is no strictly proper scoring rule for imprecise probabilities. -/- The question then is what should give way. Joyce, who is well aware of this no-go result, thinks that a quantifiability constraint on epistemic accuracy should be relaxed to accommodate imprecision. We argue instead that another Joycean assumption — called strict immodesty— should be rejected, and we prove a representation theorem that characterizes all “mildly” immodest measures of inaccuracy. (shrink)

Dilation occurs when an interval probability estimate of some event E is properly included in the interval probability estimate of E conditional on every event F of some partition, which means that one’s initial estimate of E becomes less precise no matter how an experiment turns out. Critics maintain that dilation is a pathological feature of imprecise probability models, while others have thought the problem is with Bayesian updating. However, two points are often overlooked: (1) knowing that E is stochastically (...) independent of F (for all F in a partition of the underlying state space) is sufficient to avoid dilation, but (2) stochastic independence is not the only independence concept at play within imprecise probability models. In this paper we give a simple characterization of dilation formulated in terms of deviation from stochastic independence, propose a measure of dilation, and distinguish between proper and improper dilation. Through this we revisit the most sensational examples of dilation, which play up independence between dilator and dilatee, and find the sensationalism undermined by either fallacious reasoning with imprecise probabilities or improperly constructed imprecise probability models. (shrink)

The Infectious Disease Ontology (IDO) is a suite of interoperable ontology modules that aims to provide coverage of all aspects of the infectious disease domain, including biomedical research, clinical care, and public health. IDO Core is designed to be a disease and pathogen neutral ontology, covering just those types of entities and relations that are relevant to infectious diseases generally. IDO Core is then extended by a collection of ontology modules focusing on specific diseases and pathogens. In this paper we (...) present applications of IDO Core within various areas of infectious disease research, together with an overview of all IDO extension ontologies and the methodology on the basis of which they are built. We also survey recent developments involving IDO, including the creation of IDO Virus; the Coronaviruses Infectious Disease Ontology (CIDO); and an extension of CIDO focused on COVID-19 (IDO-CovID-19).We also discuss how these ontologies might assist in information-driven efforts to deal with the ongoing COVID-19 pandemic, to accelerate data discovery in the early stages of future pandemics, and to promote reproducibility of infectious disease research. (shrink)

Epistemic decision theory (EDT) employs the mathematical tools of rational choice theory to justify epistemic norms, including probabilism, conditionalization, and the Principal Principle, among others. Practitioners of EDT endorse two theses: (1) epistemic value is distinct from subjective preference, and (2) belief and epistemic value can be numerically quantified. We argue the first thesis, which we call epistemic puritanism, undermines the second.

A characterization result of dilation in terms of positive and negative association admits an extremal counterexample, which we present together with a minor repair of the result. Dilation may be asymmetric whereas covariation itself is symmetric. Dilation is still characterized in terms of positive and negative covariation, however, once the event to be dilated has been specified.

Recent debate about the error theory has taken a ‘formal turn’. On the one hand, there are those who argue that the error theory should be rejected because of its difficulties in providing a convincing formal account of the logic and semantics of moral claims. On the other hand, there are those who claim that such formal objections fail, maintaining that arguments against the error theory must be of a substantive rather than a formal kind. In this paper, we argue (...) that formal objections to the error theory cannot be eschewed but must be met head-on. (shrink)

Vaccine research, as well as the development, testing, clinical trials, and commercial uses of vaccines involve complex processes with various biological data that include gene and protein expression, analysis of molecular and cellular interactions, study of tissue and whole body responses, and extensive epidemiological modeling. Although many data resources are available to meet different aspects of vaccine needs, it remains a challenge how we are to standardize vaccine annotation, integrate data about varied vaccine types and resources, and support advanced vaccine (...) data analysis and inference. To address these problems, the community-based Vaccine Ontology (VO) has been developed through collaboration with vaccine researchers and many national and international centers and programs, including the National Center for Biomedical Ontology (NCBO), the Infectious Disease Ontology (IDO) Initiative, and the Ontology for Biomedical Investigations (OBI). VO utilizes the Basic Formal Ontology (BFO) as the top ontology and the Relation Ontology (RO) for definition of term relationships. VO is represented in the Web Ontology Language (OWL) and edited using the Protégé-OWL. Currently VO contains more than 2000 terms and relationships. VO emphasizes on classification of vaccines and vaccine components, vaccine quality and phenotypes, and host immune response to vaccines. These reflect different aspects of vaccine composition and biology and can thus be used to model individual vaccines. More than 200 licensed vaccines and many vaccine candidates in research or clinical trials have been modeled in VO. VO is being used for vaccine literature mining through collaboration with the National Center for Integrative Biomedical Informatics (NCIBI). Multiple VO applications will be presented. (shrink)

In a recent study, we found a negative association between psychopathy and violence against genetic relatives. We interpreted this result as a form of nepotism and argued that it failed to support the hypothesis that psychopathy is a mental disorder, suggesting instead that it supports the hypothesis that psychopathy is an evolved life history strategy. This interpretation and subsequent arguments have been challenged in a number of ways. Here, we identify several misunderstandings regarding the harmful dysfunction definition of mental disorder (...) as it applies to psychopathy and regarding the meaning of nepotism. Furthermore, we examine the evidence provided by our critics that psychopathy is associated with other disorders, and we offer a comment on their alternative model of psychopathy. We conclude that there remains little evidence that psychopathy is the product of dysfunctional mechanisms. (shrink)

Analyzing geometric properties of high-dimensional loss functions, such as local curvature and the existence of other optima around a certain point in loss space, can help provide a better understanding of the interplay between neural network structure, implementation attributes, and learning performance. In this work, we combine concepts from high-dimensional probability and differential geometry to study how curvature properties in lower-dimensional loss representations depend on those in the original loss space. We show that saddle points in the original space are (...) rarely correctly identified as such in expected lower-dimensional representations if random projections are used. The principal curvature in the expected lower-dimensional representation is proportional to the mean curvature in the original loss space. Hence, the mean curvature in the original loss space determines if saddle points appear, on average, as either minima, maxima, or almost flat regions. We use the connection between expected curvature in random projections and mean curvature in the original space (i.e., the normalized Hessian trace) to compute Hutchinson-type trace estimates without calculating Hessian-vector products as in the original Hutchinson method. Because random projections are not suitable to correctly identify saddle information, we propose to study projections along dominant Hessian directions that are associated with the largest and smallest principal curvatures. We connect our findings to the ongoing debate on loss landscape flatness and generalizability. Finally, for different common image classifiers and a function approximator, we show and compare random and Hessian projections of loss landscapes with up to about 7×10^6 parameters. (shrink)

This report reviews what quantum physics and information theory have to tell us about the age-old question, How come existence? No escape is evident from four conclusions: (1) The world cannot be a giant machine, ruled by any preestablished continuum physical law. (2) There is no such thing at the microscopic level as space or time or spacetime continuum. (3) The familiar probability function or functional, and wave equation or functional wave equation, of standard quantum theory provide mere continuum idealizations (...) and by reason of this circumstance conceal the information-theoretic source from which they derive. (4) No element in the description of physics shows itself as closer to primordial than the elementary quantum phenomenon, that is, the elementary device-intermediated act of posing a yes-no physical question and eliciting an answer or, in brief, the elementary act of observer-participancy. Otherwise stated, every physical quantity, every it, derives its ultimate significance from bits, binary yes-or-no indications, a conclusion which we epitomize in the phrase, it from bit. (shrink)

The general introduction, which is replicated across all four volumes, aims to orientate readers unfamiliar with this area of research. It provides an overview of the different approaches within distributed cognition and discussion of the value of a distributed cognitive approach to the humanities.

Awarding rights to rivers, forests, and other environmental entities (EEs) is a new and increasingly popular approach to environmental protection. The distinctive feature of such rights of nature (RoN) legislation is that direct duties are owed to the EEs. This paper presents a novel rebuttal of the strongest argument against RoN: the no interest argument. The crux of this argument is that because EEs are not sentient, they cannot possess the kinds of interests necessary to ground direct duties. Therefore, they (...) cannot be legitimate rights-bearers. After considering and rejecting standard responses to this argument, the paper challenges its fundamental assumption: that rights-correlative duties must be grounded in the interests of the rights-bearer. The paper then presents the RoN critic with a dilemma. The critic must either accept that EEs are legitimate rights-bearers, or delegitimise many well-established rights-bearers along with EEs. Either way, the no interest argument loses its force. (shrink)

A repository of clinically associated Staphylococcus aureus (Sa) isolates is used to semi‐automatically generate a set of application ontologies for specific subfamilies of Sa‐related disease. Each such application ontology is compatible with the Infectious Disease Ontology (IDO) and uses resources from the Open Biomedical Ontology (OBO) Foundry. The set of application ontologies forms a lattice structure beneath the IDO‐Core and IDO‐extension reference ontologies. We show how this lattice can be used to define a strategy for the construction of a new (...) taxonomy of infectious disease incorporating genetic, molecular, and clinical data. We also outline how faceted browsing and query of annotated data is supported using a lattice application ontology. (shrink)

It has been argued that the fundamental laws of physics do not face a ‘problem of provisos’ equivalent to that found in other scientific disciplines (Earman, Roberts and Smith 2002) and there is only the appearance of exceptions to physical laws if they are confused with differential equations of evolution type (Smith 2002). In this paper I argue that even if this is true, fundamental laws in physics still pose a major challenge to standard Humean approaches to lawhood, as they (...) are not in any obvious sense about regularities in behaviour. A Humean approach to physical laws with exceptions is possible, however, if we adopt a view of laws that takes them to be the algorithms in the algorithmic compressions of empirical data. When this is supplemented with a distinction between lossy and lossless compression, we can explain exceptions in terms of compression artefacts present in the application of the lossy laws. (shrink)

The purpose of this paper is to show that if one adopts conditional probabilities as the primitive concept of probability, one must deal with the fact that even in very ordinary circumstances at least some probability values may be imprecise, and that some probability questions may fail to have numerically precise answers.

Fichte-Studien, volume 49 (Leiden: Brill/Rodopi Publishers, 8 April 2021), edited by David W. Wood, 471pp. -/- Presenting new critical perspectives on J.G. Fichte’s Wissenschaftslehre, this volume of articles in English by an international group of scholars addresses the topic of first principles in Fichte’s writings. Especially discussed are the central text of his Jena period, the 1794/95 Grundlage der gesammten Wissenschaftslehre, as well as later versions like the Wissenschaftslehre nova methodo (1796-99) and the presentations of 1804 and 1805. Also included (...) are new studies on the first principles of the particular sub-disciplines of Fichte’s system, such as the doctrines of aesthetics, nature, right, ethics, and history. The volume also contains a number of miscellaneous essays on Fichte research, as well as several book reviews. (shrink)

An accurate classification of bacteria is essential for the proper identification of patient infections and subsequent treatment decisions. Multi-Locus Sequence Typing (MLST) is a genetic technique for bacterial classification. MLST classifications are used to cluster bacteria into clonal complexes. Importantly, clonal complexes can serve as a biological species concept for bacteria, facilitating an otherwise difficult taxonomic classification. In this paper, we argue for the inclusion of terms relating to clonal complexes in biomedical ontologies.

Numerous studies of the beliefs of people with anorexia nervosa (AN) suggest that a subset of such individuals may experience delusions. We first describe what makes a belief delusional and conclude that such characteristics can be appropriately applied to some beliefs of people with AN. Next, we outline how delusional beliefs may relate to the broader psychopathological process in AN, including: (1) they may be epiphenomenal; (2) they may be an initial partial cause of AN; (3) they may be caused (...) by aspects of AN; or (4) they may be sustaining causes, possibly involved in reciprocal causal relations with aspects of AN. We argue that there is good reason to believe that delusional beliefs of people with AN are not merely epiphenomenal, but rather that they’re causally connected to AN. Because of this, empirical studies can be designed to test for the presence of causal relations. We describe how these studies should be designed. The results of such studies have important implications for understanding the experience of individuals with AN and for the treatment of AN. We outline these implications. (shrink)

The field of of imprecise probability has matured, in no small part because of Teddy Seidenfeld’s decades of original scholarship and essential contributions to building and sustaining the ISIPTA community. Although the basic idea behind imprecise probability is (at least) 150 years old, a mature mathematical theory has only taken full form in the last 30 years. Interest in imprecise probability during this period has also grown, but many of the ideas that the mature theory serves can be difficult to (...) apprehend to those new to the subject. Although these fundamental ideas are common knowledge in the ISIPTA community, they are expressed, when they are expressed at all, obliquely, over the course of years with students and colleagues. -/- A single essay cannot convey the store of common knowledge from any research community, let alone the ISIPTA community. But, this essay nevertheless is an attempt to guide those familiar with the basic Bayesian framework to appreciate some of the elegant and powerful ideas that underpin the contemporary theory of lower previsions, which is the theory that most people associate with the term ‘imprecise probabilities’. (shrink)

Tarihte herhalde çok az soru Tanrı’nın varlığı sorusu kadar sık sorulmuş, çok yanıtlanmış ve verilen birbirinden farklı onca yanıta rağmen kesin bir sonuca ulaştırılamayıp tartışılmaya devam etmiştir. Yine de geçmişe dönüp baktığımızda bu soruya verilen farklı yanıtların farklı uygarlıkların inşa edilmesine, bazılarının yıkılmasına, acımasız çatışmalara ve her şeye rağmen kucaklaşmalara da vesile olduğunu görüyoruz. Tanrı var mı? Varsa onu nasıl bilebiliriz? Tanrı yoksa her şey mubah mı? İnsan aklı ilahi olanı kavrayabilir mi? Tanrı’nın varlığı ahlaklı olmanın şartı mı? Evren akıllı (...) bir tasarımcının imzasını taşıyor mu? Bu kitapta felsefeci William David Beck, bu sorulara tarihte verilen yanıtları ve bu konudaki tartışmaları ele alarak meselenin genel ve tarihsel bir tablosunu bize sunuyor. Platon, Aristoteles, Marcus Aurelius gibi Eski Yunan ve Roma düşünürlerinden Anselmus, Thomas Aquinas, Augustinus ve Yahudi-Hıristiyan geleneğine, Doğu’nun bilgelerine, İbni Rüşd, Fârâbî ve Gazzâlî gibi İslam düşünürlerinden Alvin Plantinga, Graham Oppy, Sam Harris, Richard Dawkins, Max Tegmark gibi Batılı modern ilahiyatçılara, bilim insanlarına ve Yeni Ateizm hareketine kadar uzanan bir çizgide “Tanrı var mı?” sorusuna verilen çeşitli yanıtları ve bu yanıtlara sunulan akılcı gerekçeleri ortaya koyarak soruya felsefece bir yanıt vermenin nasıl bir iş olduğunu da gösteriyor. (shrink)

The desirable gambles framework offers the most comprehensive foundations for the theory of lower pre- visions, which in turn affords the most general ac- count of imprecise probabilities. Nevertheless, for all its generality, the theory of lower previsions rests on the notion of linear utility. This commitment to linearity is clearest in the coherence axioms for sets of desirable gambles. This paper considers two routes to relaxing this commitment. The first preserves the additive structure of the desirable gambles framework and (...) the machinery for coherent inference but detaches the interpretation of desirability from the multiplicative scale invariance axiom. The second strays from the additive combination axiom to accommodate repeated gambles that return rewards by a non-stationary processes that is not necessarily additive. Unlike the first approach, which is a conservative amendment to the desirable gambles framework, the second is a rad- ical departure. Yet, common to both is a method for describing rewards called discounted utility. (shrink)

Things and Their Place in Theories Our talk of external things, our very notion of things, is just a conceptual apparatus that helps us to foresee and ...

It is often said that the best system account of laws needs supplementing with a theory of perfectly natural properties. The ‘strength’ and ‘simplicity’ of a system is language-relative and without a fixed vocabulary it is impossible to compare rival systems. Recently a number of philosophers have attempted to reformulate the BSA in an effort to avoid commitment to natural properties. I assess these proposals and argue that they are problematic as they stand. Nonetheless, I agree with their aim, and (...) show that if simplicity is interpreted as ‘compression’, algorithmic information theory provides a framework for system comparison without the need for natural properties. (shrink)

Information-based epistemology maintains that ‘being informed’ is an independent cognitive state that cannot be reduced to knowledge or to belief, and the modal logic KTB has been proposed as a model. But what distinguishes the KTB analysis of ‘being informed’, the Brouwersche schema (B), is precisely its downfall, for no logic of information should include (B) and, more generally, no epistemic logic should include (B), either.

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the proportion of papers (...) using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

This essay argues that reparations for wrongs by one's ancestors can be justified. Differential benefits to those descended from victims of one's ancestors is discrimination which can be justified by one's right to be partial to one's ancestors, doing what they, with clearer thinking, would have done--namely compensating their victims. So, while there is no obligation to discriminate, one has a right to, in virtue of one's partiality towards one's ancestors.

Clade selection is unpopular with philosophers who otherwise accept multilevel selection theory. Clades cannot reproduce, and reproduction is widely thought necessary for evolution by natural selection, especially of complex adaptations. Using microbial evolutionary processes as heuristics, I argue contrariwise, that (1) clade growth (proliferation of contained species) substitutes for clade reproduction in the evolution of complex adaptation, (2) clade-level properties favoring persistence – species richness, dispersal, divergence, and possibly intraclade cooperation – are not collapsible into species-level traits, (3) such properties (...) can be maintained by selection on clades, and (4) clade selection extends the explanatory power of the theory of evolution. (shrink)

A sound and complete axiomatization of two tabloid blogs is presented, Leiter Logic (KB) and Deontic Leiter Logic (KDB), the latter of which can be extended to Shame Game Logic for multiple agents. The (B) schema describes the mechanism behind this class of tabloids, and illustrates the perils of interpreting a provability operator as an epistemic modal. To mark this difference, and to avoid sullying Brouwer's good name, the (B) schema for epistemic modals should be called the Blog Schema.

This paper argues that the Theaetetus establishes conditions on objects of knowledge which entail that only of Forms can there be knowledge. Plato's arguments for this are valid. The principles needed to make Plato's premises true will turn out to have deep connection with important parts of Plato's over-all theory, and to have consequences which Plato, in the middle dialogues, seems to welcome on other grounds as well.

This paper addresses a family of issues surrounding the biological phenomenon of resistance and its representation in realist ontologies. The treatments of resistance terms in various existing ontologies are examined and found to be either overly narrow, internally inconsistent, or otherwise problematic. We propose a more coherent characterization of resistance in terms of what we shall call blocking dispositions, which are collections of mutually coordinated dispositions which are of such a sort that they cannot undergo simultaneous realization within a single (...) bearer. A definition of ‘protective resistance’ is proposed for use in the Infectious Disease Ontology (IDO) and we show how this definition can be used to characterize the antibiotic resistance in Methicillin-Resistant Staphylococcus aureus (MRSA). The ontological relations between entities in our MRSA case study are used alongside a series of logical inference rules to illustrate logical reasoning about resistance. A description logic representation of blocking dispositions is also provided. We demonstrate that our characterization of resistance is sufficiently general to cover two other cases of resistance in the infectious disease domain involving HIV and malaria. (shrink)

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...) dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

In the world of philosophy of science, the dominant theory of confirmation is Bayesian. In the wider philosophical world, the idea of inference to the best explanation exerts a considerable influence. Here we place the two worlds in collision, using Bayesian confirmation theory to argue that explanatoriness is evidentially irrelevant.

Some cognitive processes appear to have “phenomenal” properties that are directly revealed to the subject and not determined by physical properties. I suggest that the source of this appearance is the method by which our brain processes sensory information. The appearance is an illusion. Nonetheless, we are not mistaken when we judge that people sometimes fee lpain.